Theorem List.Sorted.coe_getIso_apply

Modification history