Theorem Valued.hasBasis_uniformity

Modification history