basic): add some basic lemmas (#7314)

Commit

4 years ago

feat(data/nat/gcd, ring_theory/int/basic): add some basic lemmas (#7314) This also reduces the dependency on definitional equalities a but

Author

Ruben-VandeVelde

Parents