Theorem AdicCompletion.mk_surjective

Modification history