Theorem transitive_manyOneReducible

Modification history