Theorem Equiv.coe_constVSub

Modification history