Theorem UniformOnFun.isUniformInducing_pi_restrict

Modification history