Theorem singleton_span_mem_normalizedFactors_of_mem_normalizedFactors

Modification history