mathlib
f7edbca4 - feat(algebra/char_zero): char_zero.infinite (#4593)

Commit

5 years ago

feat(algebra/char_zero): char_zero.infinite (#4593)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading