Theorem isFiniteLength_quotient_span_singleton

Modification history