Theorem IsMaxOn.localize

Modification history