Theorem IsExtrOn.on_preimage

Modification history