Commit 2025-03-20 06:09 3dcef2e3

View on Github →

feat(Topology/UniformSpace): Is{Symmetric,Transitive}Rel.sInter (#23114)

Estimated changes

added theorem IsSymmetricRel.sInter
added theorem IsTransitiveRel.sInter