Theorem List.toFinsupp_singleton

Modification history