Theorem Function.End.smul_def

Modification history