Theorem Subsingleton.set_empty_or_univ

Modification history