Theorem Equiv.coalgebraIsCocomm

Modification history

2025-12-31 12:47
Mathlib/RingTheory/Coalgebra/Basic.lean
feat: transfer `Coalgebra.IsCocomm` across an `Equiv` (#33139) …
Added Equiv.coalgebraIsCocommView on Github →