Theorem AdicCompletion.transitionMap_mk

Modification history