Theorem IsROrC.conjLie_apply

Modification history