Theorem IsMinOn.localize

Modification history