Theorem AdicCompletion.transitionMap_comp

Modification history