Theorem Set.Nonempty.inr

Modification history