Theorem AdicCompletion.ofTensorProduct_tmul

Modification history