Commit 2025-11-03 21:18 d0082ef2

View on Github →

chore(RingTheory/LocalRing/ResidueField): deprecateisLocalHom_residue (#28497)

Estimated changes