Def CoalgEquivClass.toCoalgEquiv

Modification history

2026-09-11 08:52
Mathlib/RingTheory/Coalgebra/Equiv.lean
chore: rename `Coalg{Hom,Equiv}Class.toCoalg{Hom,Equiv}` as `Coalg{Hom,Equiv}.ofClass` (#43576) …
Deleted CoalgEquivClass.toCoalgEquivView on Github →
2024-05-02 14:08
Mathlib/RingTheory/Coalgebra/Equiv.lean
feat: coalgebra isomorphisms (#11970) …
Added CoalgEquivClass.toCoalgEquivView on Github →