Theorem IsLeast.nonempty

Modification history