Theorem Pi.continuous_restrict₂_apply

Modification history