Theorem IsROrC.reClm_apply

Modification history