Theorem IsRegular.subsingleton

Modification history