lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

doc: documentation for Init.Notation

Open digama0 opened this issue 3 years ago • 0 comments

  • [ ] depends on #1480

digama0 avatar Aug 14 '22 19:08 digama0