Commit 2026-10-17 12:44 55b65389

View on Github →

chore(RingTheory/IntegralClosure/IsIntegralClosure): fix instance name capitalization (#44753) integralClosure.AlgebraIsIntegral

Estimated changes