Theorem List.toFinsupp_apply_lt'

Modification history