Theorem UniformOnFun.edist_eq_pi_restrict

Modification history