Theorem ContinuousAlternatingMap.liftCLM_apply

Modification history

2025-11-25 10:20
Mathlib/Topology/Algebra/Module/Alternating/Topology.lean
feat(Calculus): derivative of `ContinuousAlternatingMap.compContinuousLinearMap` (#30331)
Added ContinuousAlternatingMap.liftCLM_applyView on Github →