Theorem diam_smul₀

Modification history