Commit 2026-03-25 18:55 0fcb1448

View on Github →

chore(Algebra/Colimit/Ring): use deriving for CommRing DirectLimit (#37139) Clean up the instances for DirectLimit.

Estimated changes