Theorem Algebra.span_le_adjoin

Modification history