Theorem AdicCompletion.ofTensorProduct_naturality

Modification history