Theorem List.toFinset.ext_iff

Modification history