Theorem List.Sorted.coe_getIso_symm_apply

Modification history