Theorem IsMaxOn.inter

Modification history