Theorem AdicCompletion.map_ext

Modification history