Commit 2025-09-06 21:16 354b1848

View on Github →

chore(RingTheory/UniqueFactorizationDomain): deprecate dvd_of_normalized_factor (#28430)

Estimated changes