Theorem: Weight.BasicInterval.mem_base (Weights/BasicInterval.lean)

State before:
a b : ℕ
⊢ mem a b base
Tactic:
simp [mem]
State after:
no goals