search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54 stars 123 forks source link

space after left arrow #402

Closed mo271 closed 11 months ago

mo271 commented 11 months ago

Please mention simp along with rw.

Also, the second sentence missing a verb.

Done!