Theorem AdicCompletion.AdicCauchySequence.ext_iff

Modification history