Theorem interior_smul₀

Modification history