Step
*
of Lemma
bool-mono
mono(𝔹)
BY
{ (Unfold `bool` 0 THEN (BLemma `union-mono` THEN Auto) THEN BLemma `unit-mono`⋅)⋅ }
Latex:
Latex:
mono(\mBbbB{})
By
Latex:
(Unfold `bool` 0 THEN (BLemma `union-mono` THEN Auto) THEN BLemma `unit-mono`\mcdot{})\mcdot{}
Home
Index