Theorem List.toFinsupp_nil

Modification history