Theorem Pi.continuous_restrict_apply

Modification history