Theorem IsROrC.conjCle_apply

Modification history