Theorem List.toFinset_nonempty_iff

Modification history