/caterwaul/Lattice/Bounded/Set
Copy path to clipboardSource
λ(m : Type) →
{ join : ../../Semilattice/Bounded/Set m
, meet : ../../Semilattice/Bounded/Set m
}
caterwaul
Switch Light/Dark Modeλ(m : Type) →
{ join : ../../Semilattice/Bounded/Set m
, meet : ../../Semilattice/Bounded/Set m
}