Theorem LocallyFinite.isClosed_unionᵢ

Modification history