Theorem Algebra.adjoin_eq_span_of_subset

Modification history