Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-02 14:39
7683f81d
View on Github →
chore: remove whitespace (
#25363
) Found by
#24465
,
Estimated changes
Modified
Mathlib/RingTheory/Radical.lean
modified
theorem
UniqueFactorizationMonoid.primeFactors_mul_eq_union