Mathlib v3 is deprecated. Go to Mathlib v4

Theorem euclidean_domain.gcd_one_left

Modification history

2020-08-18 17:14

src/algebra/euclidean_domain.lean

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

Modified euclidean_domain.gcd_one_left View on Github →

2018-04-16 19:01

algebra/euclidean_domain.lean

chore(*): trailing spaces

Modified euclidean_domain.gcd_one_left View on Github →

2018-04-05 00:22

algebra/euclidean_domain.lean

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

Added euclidean_domain.gcd_one_left View on Github →