Theorem List.toFinset_toList

Modification history