mathlib
03674679 - chore(group/type_tags): Add missing simp lemmas (#4651)

Commit

5 years ago

chore(group/type_tags): Add missing simp lemmas (#4651)

References

#4925 - Make prime-avoidance branch build

Author

eric-wieser

eric-wieser

Parents

Loading