mathlib3
c2ae6c0e - doc(simps): explain short_name (#4182)

Commit
5 years ago
doc(simps): explain short_name (#4182)
Author
Parents
Loading