mathlib
d5a6a5ef - turn `is_star_normal` into a type class
Commit
View On GitHub
Commit
3 years ago
turn `is_star_normal` into a type class
Author
dupuisf dupuisf
Parents
f76c10d9
FAQ Terms Privacy Refunds Impressum
Loading