Theorem Set.finite_option

Modification history