Theorem Pi.induced_restrict

Modification history