Theorem Set.mem_toFinset

Modification history