Theorem Set.finite_le_nat

Modification history