Theorem List.finite_toSet

Modification history