Theorem UniformOnFun.isometry_restrict

Modification history