Theorem Equiv.Perm.ofSubtype_apply_coe

Modification history