Theorem AdicCompletion.transitionMap_comp_eval

Modification history