mathlib3
15fe7824 - doc(set_theory/lists): fix typo (#14427)
Commit
View On GitHub
Commit
3 years ago
doc(set_theory/lists): fix typo (#14427)
Author
vihdzp vihdzp
Parents
d0efbcb0
FAQ Terms Privacy Refunds Impressum
Loading