Theorem List.toFinsupp_apply_le

Modification history