Theorem Disjoint.of_span

Modification history