Theorem AbsoluteValue.hasBasis_uniformity

Modification history