Theorem LinearEquiv.coalgebraIsCocomm

Modification history

2026-08-10 23:43
Mathlib/RingTheory/Coalgebra/Basic.lean
feat: generalize transfer instance type class assumptions (#42291) …
Added LinearEquiv.coalgebraIsCocommView on Github →