gcd): add simple lemmas (#1382)

Commit

6 years ago

feat(data/nat/gcd): add simple lemmas (#1382) * feat(data/nat/gcd): more simple lemmas * Prove `iff` instead of one side implication

References

Author

urkud

Committer

mergify[bot]

Parents