Def CoalgEquiv.toIso

Modification history

2024-06-10 20:38

Mathlib/Algebra/Category/CoalgebraCat/Basic.lean

feat: category of bialgebras (#11973) …

Deleted CoalgEquiv.toIso View on Github →

2024-05-27 14:30

Mathlib/Algebra/Category/CoalgebraCat/Basic.lean

feat: category of coalgebras (#11972) …

Added CoalgEquiv.toIso View on Github →