Theorem Pi.continuous_restrict₂

Modification history