Theorem AdicCompletion.evalₐ_mk

Modification history