Theorem AdicCompletion.Ideal.mk_eq_mk

Modification history