Theorem Equiv.subtypePreimage_symm_apply_coe_neg

Modification history