Theorem Basis.ofSpan_apply_self

Modification history