Theorem LocallyFinite.finite_nonempty_inter_compact

Modification history