Theorem transitive_oneOneReducible

Modification history