Theorem IsMaxOn.on_preimage

Modification history