Theorem List.toFinsupp_apply_fin

Modification history