Theorem CoalgEquiv.ofCoalgHom_symm

Modification history

2025-05-16 10:01
Mathlib/RingTheory/Coalgebra/Equiv.lean
feat(RingTheory/Coalgebra/Equiv, RingTheory/Bialgebra/Equiv): constructors for coalgebra and bialgebra equivalences (#24121) …
Added CoalgEquiv.ofCoalgHom_symmView on Github →