Commit 2024-05-16 13:54 4ee2b683
View on Github →feat: bialgebra isomorphisms (#11971)
Isomorphisms of bialgebras. Mimics Mathlib.Algebra.Module.Equiv
feat: bialgebra isomorphisms (#11971)
Isomorphisms of bialgebras. Mimics Mathlib.Algebra.Module.Equiv