Theorem LocalEquiv.restr_coe_symm

Modification history