Theorem Pi.inv_comp

Modification history