Theorem Algebra.adjoin_span

Modification history