Step
*
1
1
of Lemma
bpermr_wf
1. s : DSet
⊢ ∀bs:|s| List. (null(bs) ∈ 𝔹)
BY
{ Auto }
Latex:
Latex:
1. s : DSet
\mvdash{} \mforall{}bs:|s| List. (null(bs) \mmember{} \mBbbB{})
By
Latex:
Auto
Home
Index