Theorem Multiset.gcd_map_mul

Modification history

2023-12-08 10:23

Mathlib/Algebra/GCDMonoid/Multiset.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified Multiset.gcd_map_mul View on Github →

2023-01-16 21:23

Mathlib/Algebra/GCDMonoid/Multiset.lean

feat: port Algebra.GCDMonoid.Multiset (#1565)

Added Multiset.gcd_map_mul View on Github →