mathlib3
35ede3d4 - chore(algebra/algebra/*): add some `simp` lemmas (#10969)

Commit

4 years ago

chore(algebra/algebra/*): add some `simp` lemmas (#10969)

Author

ericrbg

ericrbg

Parents

Loading