Def ContinuousAlternatingMap.apply

Modification history

2024-09-08 21:52

Mathlib/Topology/Algebra/Module/Alternating/Topology.lean

feat: topology on `ContinuousAlternatingMap`s (#16374)

Added ContinuousAlternatingMap.apply View on Github →