Structures · Topology
SSet.Subcomplex.PairingCore.IsRegular
When the ancestrality relation is well founded, we say that h : A.PairingCore
is regular.
- Shape
- One type argument · adds wf
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- CategoryTheory.MonoidalCategoryStruct.tensorObj
How is a type an instance?
Loading the hierarchy index…