Theorem not_preirreducible_nontrivial_t2

Modification history