Mathlib v3 is deprecated. Go to Mathlib v4

Theorem euclidean_domain.gcd_dvd

Modification history

2020-08-18 17:14

src/algebra/euclidean_domain.lean

chore(algebra/euclidean_domain): docstrings (#3816)

Modified euclidean_domain.gcd_dvd View on Github →

2018-05-27 22:50

algebra/euclidean_domain.lean

refactor(algebra/euclidean_domain): clean up proofs

Modified euclidean_domain.gcd_dvd View on Github →

2018-04-05 00:22

algebra/euclidean_domain.lean

feat(algebra/euclidean_domain): euclidean domains / euclidean algorithm

Added euclidean_domain.gcd_dvd View on Github →