Theorem isLeftRegular_star_iff

Modification history