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