Theorem List.coe_toFinsupp

Modification history