Theorem UniformInducing.basis_uniformity

Modification history