Theorem continuous_induced_rng

Modification history