Theorem AdicCompletion.transitionMap_ideal_mk

Modification history