mathlib3
666a2e2e - feat(algebra/group/with_one): more API for with_zero (#3716)

Commit

5 years ago

feat(algebra/group/with_one): more API for with_zero (#3716)

References

#4925 - Make prime-avoidance branch build

Author

kbuzzard

kbuzzard

Parents

Loading