Theorem AdicCompletion.ofTensorProduct_surjective_of_finite

Modification history