Commit 2024-06-11 06:47 c912f4d4
View on Github →feat(AlgebraicGeometry): expand api on topological scheme morphism properties (#13701)
Deduce properties of MorphismProperty.topologically P from the respective properties stated in terms of topological spaces.