Theorem coe_notMemRangeEquiv_symm

Modification history