Def ContinuousLinearEquiv.continuousAlternatingMapCongrEquiv

Modification history

2025-04-23 13:25

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

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

Added ContinuousLinearEquiv.continuousAlternatingMapCongrEquiv View on Github →