Theorem IsROrC.imClm_apply

Modification history