Merge remote-tracking branch 'origin/master' into update-20260217

Author: SnO2WMaN

Foundation.lean

@@ -367,47 +367,6 @@ public import Foundation.Modal.ModalCompanion.Standard.KC
 public import Foundation.Modal.ModalCompanion.Standard.LC
 public import Foundation.Modal.Modality.Basic
 public import Foundation.Modal.Modality.S5
-public import Foundation.Modal.Neighborhood.AxiomC
-public import Foundation.Modal.Neighborhood.AxiomGeach
-public import Foundation.Modal.Neighborhood.AxiomK
-public import Foundation.Modal.Neighborhood.AxiomM
-public import Foundation.Modal.Neighborhood.AxiomN
-public import Foundation.Modal.Neighborhood.AxiomP
-public import Foundation.Modal.Neighborhood.Basic
-public import Foundation.Modal.Neighborhood.Completeness
-public import Foundation.Modal.Neighborhood.Filtration
-public import Foundation.Modal.Neighborhood.Hilbert
-public import Foundation.Modal.Neighborhood.IntersectionClosure
-public import Foundation.Modal.Neighborhood.Logic.E
-public import Foundation.Modal.Neighborhood.Logic.E4
-public import Foundation.Modal.Neighborhood.Logic.E5
-public import Foundation.Modal.Neighborhood.Logic.EB
-public import Foundation.Modal.Neighborhood.Logic.EC
-public import Foundation.Modal.Neighborhood.Logic.ECN
-public import Foundation.Modal.Neighborhood.Logic.ED
-public import Foundation.Modal.Neighborhood.Logic.EK
-public import Foundation.Modal.Neighborhood.Logic.EM
-public import Foundation.Modal.Neighborhood.Logic.EMC
-public import Foundation.Modal.Neighborhood.Logic.EMC4
-public import Foundation.Modal.Neighborhood.Logic.EMCN
-public import Foundation.Modal.Neighborhood.Logic.EMCN4
-public import Foundation.Modal.Neighborhood.Logic.EMK
-public import Foundation.Modal.Neighborhood.Logic.EMN
-public import Foundation.Modal.Neighborhood.Logic.EMNT4
-public import Foundation.Modal.Neighborhood.Logic.EMT
-public import Foundation.Modal.Neighborhood.Logic.EMT4
-public import Foundation.Modal.Neighborhood.Logic.EN
-public import Foundation.Modal.Neighborhood.Logic.EN4
-public import Foundation.Modal.Neighborhood.Logic.END
-public import Foundation.Modal.Neighborhood.Logic.END4
-public import Foundation.Modal.Neighborhood.Logic.ENT4
-public import Foundation.Modal.Neighborhood.Logic.EP
-public import Foundation.Modal.Neighborhood.Logic.ET
-public import Foundation.Modal.Neighborhood.Logic.ET4
-public import Foundation.Modal.Neighborhood.Logic.ET5
-public import Foundation.Modal.Neighborhood.Logic.ETB
-public import Foundation.Modal.Neighborhood.Logic.Incomparability.ED_EP
-public import Foundation.Modal.Neighborhood.Supplementation
 public import Foundation.Modal.PLoN.Basic
 public import Foundation.Modal.PLoN.Completeness
 public import Foundation.Modal.PLoN.Hilbert