Theorem MeasureTheory.exists_pair_mem_lattice_not_disjoint_vadd

Modification history