Theorem BialgEquiv.coe_mk

Modification history

2025-07-14 05:34
Mathlib/RingTheory/Bialgebra/Equiv.lean
feat(Bialgebra/Equiv): basic lemmas (#27041) …
Modified BialgEquiv.coe_mkView on Github →
2024-05-16 13:54
Mathlib/RingTheory/Bialgebra/Equiv.lean
feat: bialgebra isomorphisms (#11971) …
Added BialgEquiv.coe_mkView on Github →