Def CompHausLike.const

Modification history

2024-10-04 11:14
Mathlib/Topology/Category/CompHausLike/Basic.lean
chore(CompHausLike): add constant morphisms (#17381)
Added CompHausLike.constView on Github →