Theorem nonempty_preirreducible_inter

Modification history