mathlib3
dd627452 - Rename `is_foo_hom` to `foo_hom_class`
Commit
View On GitHub
Commit
4 years ago
Rename `is_foo_hom` to `foo_hom_class`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
3ab512ea
FAQ Terms Privacy Refunds Impressum
Loading