Theorem Nat.factorization_ordCompl

Modification history