Description: An equivalent formulation of the basis predicate: a subset is a basis iff it is a minimal spanning set. (Contributed by Mario Carneiro, 25-Jun-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | islbs2.v | |
|
islbs2.j | |
||
islbs2.n | |
||
Assertion | islbs3 | |