Theorem isRegular_star_iff

Modification history