Theorem Equiv.subtypeEquivRight_apply

Modification history