mathlib3
39f5d6b6 - feat(data/rat/basic): denom_eq_one_iff (#4437)

Commit

5 years ago

feat(data/rat/basic): denom_eq_one_iff (#4437) Split off from #4268

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading