Theorem AdicCompletion.smul_eval

Modification history