Commit 2023-02-11 13:29 c387af4f

View on Github →

feat: Topology.Constructions. add isOpen_pi_iff (#2110) This is the mathlib4 pendant of https://github.com/leanprover-community/mathlib/pull/18390

Estimated changes

added theorem isOpen_pi_iff'
added theorem isOpen_pi_iff