Theorem IsROrC.reClm_norm

Modification history