Theorem AdicCompletion.transitionMap_map_mul

Modification history