Def ContinuousLinearEquiv.continuousMultilinearMapCongrLeft

Modification history

2025-04-23 13:25

Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean

chore(Topology/Algebra/Module/Alternating): rename some equivs (#24159)

Added ContinuousLinearEquiv.continuousMultilinearMapCongrLeft View on Github →