Theorem Associated.lcm

Modification history

2024-05-07 12:53

Mathlib/Algebra/GCDMonoid/Basic.lean

feat: add gcd_neg, neg_gcd (#12593)

Deleted Associated.lcm View on Github →

2024-04-06 14:26

Mathlib/Algebra/GCDMonoid/Basic.lean

feat: GCDMonoid (Associates α) instance (#11618)

Added Associated.lcm View on Github →