Skip to content

remove incorrect comment Sand.lean #90

remove incorrect comment Sand.lean

remove incorrect comment Sand.lean #90