Commit 2025-08-26 09:27 5af5db02

View on Github →

chore: simplify the formatting of gcd_eq_zero_iffs a little (#28898) Related to #28897.

Estimated changes

modified theorem Finset.gcd_eq_zero_iff
modified theorem Multiset.gcd_eq_zero_iff