Theorem Set.Finite.relatively_discrete

Modification history