Theorem isLUB_pi

Modification history