Theorem IsLeftRegular.subsingleton

Modification history