Commit 2025-12-19 16:47 95637330

View on Github →

feat(RingTheory): transfer Coalgebra across an Equiv (#32965)

Estimated changes