Theorem PadicInt.mem_subring_iff

Modification history