Theorem isExtreme_biInter

Modification history