Theorem isRightRegular_star_iff

Modification history