Theorem List.toFinsupp_cons_apply_zero

Modification history