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

State before:
⊢ feasible 1 base
Tactic:
simp [feasible]
State after:
no goals