mathlib
d3431902 - star_normal -> is_star_normal
Commit
View On GitHub
Commit
3 years ago
star_normal -> is_star_normal
Author
dupuisf dupuisf
Parents
ee1f75bf
FAQ Terms Privacy Refunds Impressum
Loading