Open valis opened 2 years ago
This is Topology.Locale/pullback_open. A proof of this theorem can be found in Handbook of Categorical Algebra: Volume 3, Francis Borceux, 1994 (Chapter 1), Theorem 1.6.4.
This is Topology.Locale/pullback_open. A proof of this theorem can be found in Handbook of Categorical Algebra: Volume 3, Francis Borceux, 1994 (Chapter 1), Theorem 1.6.4.