MeetSemilattice

logic.spad line 1739 [edit on github]

meet semilattice Implementations in set, logic and orders for more documentation see: htm

/\ : (%, %) -> %

returns the logical 'meet', e.g. 'and'.

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)