Mathlib v3 is deprecated. Go to Mathlib v4

Theorem locally_bounded_map.comp_assoc

Modification history

2022-03-16 08:21

src/topology/bornology/hom.lean

feat(topology/bornology/hom): Locally bounded maps (#12046) …

Added locally_bounded_map.comp_assoc View on Github →