Def ContinuousLinearEquiv.continuousMultilinearMapCongrRight

Modification history

2025-04-23 13:25

Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean

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

Added ContinuousLinearEquiv.continuousMultilinearMapCongrRight View on Github →