Theorem AdicCompletion.evalₐ_mkₐ

Modification history