Theorem Pi.inf_apply

Modification history