mathlib
df4aec69 - `equiv_punit_of_unique` → `equiv.equiv_punit`
Commit
View On GitHub
Commit
3 years ago
`equiv_punit_of_unique` → `equiv.equiv_punit`
Author
alreadydone alreadydone
Parents
debe0aa8
FAQ Terms Privacy Refunds Impressum
Loading