Structures · Algebra
BialgHomClass
BialgHomClass F R A B asserts F is a type of bundled bialgebra homomorphisms
from A to B.
- Defined in
- Mathlib.RingTheory.Bialgebra.Hom
- Shape
- 4 explicit arguments
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- BialgHom
How is a type an instance?
Loading the hierarchy index…