Theorem infDist_smul₀

Modification history