Theorem Disjoint.of_span₀

Modification history