Theorem Set.Finite.inter_of_left

Modification history