Theorem AdicCompletion.smul_mk

Modification history