Theorem AdicCompletion.ofTensorProductEquivOfFiniteNoetherian_apply

Modification history