mathlib3
06fdc087 - chore(algebra/group/pi): replace a lemma with @[simps] (#6203)

Commit

4 years ago

chore(algebra/group/pi): replace a lemma with @[simps] (#6203)

Author

eric-wieser

eric-wieser

Parents

Loading