Theorem LocallyFinite.point_finite

Modification history