Theorem Set.Nonempty.sigma_fst

Modification history