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