Theorem IsMinOn.sub

Modification history