Theorem Pi.compl_apply

Modification history