Theorem Set.Finite.inf_of_right

Modification history