Theorem IsRightRegular.pow_iff

Modification history