Theorem AdicCompletion.ofTensorProduct_surjective_of_fg

Modification history