Theorem CompHausLike.pullback.condition

Modification history

2024-07-02 14:31
Mathlib/Topology/Category/CompHausLike/Limits.lean
refactor(Topology/Category): add CompHausLike.Limits (#13905) …
Added CompHausLike.pullback.conditionView on Github →