mathlib
48ffeb79 - feat(group_theory/finiteness): quotient of fg is fg (#12652)

Commit

4 years ago

feat(group_theory/finiteness): quotient of fg is fg (#12652)

Author

Multramate

Multramate

Parents

Loading