Theorem AdicCompletion.transitionMap_map_one

Modification history