Theorem exists_preirreducible

Modification history