mathlib
e1612934 - change ite to if-then-else
Commit
View On GitHub
Commit
6 years ago
change ite to if-then-else
Author
kckennylau kckennylau
Parents
85d43fc4
FAQ Terms Privacy Refunds Impressum
Loading