Theorem SpecializingMap.comp

Modification history

2024-11-11 07:17
Mathlib/Topology/Inseparable.lean
feat(AlgebraicGeometry): quasi-compact + specializing => closed map (#18032) …
Added SpecializingMap.compView on Github →