mathlib
6e0d2d3b - feat(logic/basic): add two simp lemmas (#8148)
Commit
View On GitHub
Commit
4 years ago
feat(logic/basic): add two simp lemmas (#8148)
Author
fpvandoorn fpvandoorn
Parents
8986c4fd
FAQ Terms Privacy Refunds Impressum
Loading