Theorem isRegular_iff_subsingleton

Modification history