mathlib3
3e6c3675 - chore(topology/algebra/module): harmless generalization (#8389)

Commit

4 years ago

chore(topology/algebra/module): harmless generalization (#8389)

Author

hrmacbeth

hrmacbeth

Parents

Loading