Theorem Pi.int_apply

Modification history