Theorem edist_smul₀

Modification history