Theorem: Interface?.isEmpty_def (Runtime/Interface.lean)

State before:
σ : Interface.Scheme
i : Interface? σ
⊢ isEmpty i ↔ i = Interface?.empty
Tactic:
simp [isEmpty]
State after:
no goals