Theorem isFiniteLength_iff_exists_compositionSeries

Modification history