Theorem infEdist_smul₀

Modification history