sigmastate
AND conjunction for sigma propositions
The same code is used for AND operation, but they belong to different type hierarchies.
AND conjunction for sigma propositions