Theorem Set.Finite.isBounded

Modification history