Theorem TopCat.I.symm_zero

Modification history

2026-03-25 06:04
Mathlib/Topology/Category/TopCat/Monoidal.lean
feat(Topology/Category): `TopCat` is cartesian monoidal (#37097)
Added TopCat.I.symm_zeroView on Github →