Def WeakDual.CharacterSpace.equivAlgHom

Modification history

2023-06-11 13:19

Mathlib/Analysis/NormedSpace/Spectrum.lean

feat: port Analysis.NormedSpace.Spectrum (#4946)

Added WeakDual.CharacterSpace.equivAlgHom View on Github →