Theorem List.toFinset_val

Modification history