mathlib
ba2454e6 - feat(ring_theory/coprime): two lemmas prereq for #8611 (#9456)

Commit

4 years ago

feat(ring_theory/coprime): two lemmas prereq for #8611 (#9456) Two variants of the fact that `¬ is_coprime 0 0`.

Author

hrmacbeth

Parents