Theorem CoalgHom.coe_fn_inj

Modification history

2026-09-11 08:52
Mathlib/RingTheory/Coalgebra/Hom.lean
chore: rename `Coalg{Hom,Equiv}Class.toCoalg{Hom,Equiv}` as `Coalg{Hom,Equiv}.ofClass` (#43576) …
Deleted CoalgHom.coe_fn_injView on Github →
2024-04-16 21:10
Mathlib/RingTheory/Coalgebra/Hom.lean
feat: coalgebra homomorphisms (#11961) …
Added CoalgHom.coe_fn_injView on Github →