mathlib3
f07a558d - feat(data/equiv): add subtype_pi_equiv_pi
Commit
View On GitHub
Commit
7 years ago
feat(data/equiv): add subtype_pi_equiv_pi
Author
johoelzl johoelzl
Committer
johoelzl johoelzl
Parents
8070c05c
FAQ Terms Privacy Refunds Impressum
Loading