mathlib3
644591fe - chore(algebra/group/basic): + 2 simp lemmas about `a - b` (#10478)

Commit

4 years ago

chore(algebra/group/basic): + 2 simp lemmas about `a - b` (#10478)

Author

urkud

urkud

Parents

Loading