Step * of Lemma int-decr-map-isEmpty_wf

[Value:Type]. ∀[m:int-decr-map-type(Value)].  (int-decr-map-isEmpty(m) ∈ 𝔹)
BY
ProveWfLemma }


Latex:


\mforall{}[Value:Type].  \mforall{}[m:int-decr-map-type(Value)].    (int-decr-map-isEmpty(m)  \mmember{}  \mBbbB{})


By

ProveWfLemma




Home Index