Theorem Hollom.exists_finite_intersection

Modification history