mathlib3
9d3c709d - chore(algebra/module): Reuse proofs from subgroup (#3631)

Commit

5 years ago

chore(algebra/module): Reuse proofs from subgroup (#3631) Confusingly these have opposite names - someone can always fix the names later though.

Author

eric-wieser

Parents