Theorem Pi.continuous_restrict

Modification history