Theorem Pi.compRightL_apply

Modification history