Theorem AdicCompletion.transitionMap_eq

Modification history