mathlib
7304c65f - feat:(data/*/quot): quotient_lift on a finite family

Commit

3 years ago

feat:(data/*/quot): quotient_lift on a finite family

Author

astrainfinita

astrainfinita

Parents

Loading