Commit 2024-10-04 11:14 44f94cd9

View on Github →

chore(CompHausLike): add constant morphisms (#17381)

Estimated changes

Modified Mathlib/Topology/Category/CompHausLike/Basic.lean

added def CompHausLike.const

added theorem CompHausLike.const_comp