Theorem IsMinOn.add

Modification history