mathlib
4cfc30e3 - chore(*): use le_rfl instead of le_refl _ (#11797)
Commit
View On GitHub
Commit
3 years ago
chore(*): use le_rfl instead of le_refl _ (#11797)
Author
jcommelin jcommelin
Parents
6dcad021
FAQ Terms Privacy Refunds Impressum
Loading