Theorem WeakBilin.embedding

Modification history

2024-10-28 08:46

Mathlib/Topology/Algebra/Module/WeakBilin.lean

chore: Rename `Embedding` to `IsEmbedding` (#18133) …

Deleted WeakBilin.embedding View on Github →

2024-09-17 11:41

Mathlib/Topology/Algebra/Module/WeakBilin.lean

chore: split Topology.Algebra.Module.WeakDual (#16489)

Modified WeakBilin.embedding View on Github →

2023-04-10 13:06

Mathlib/Topology/Algebra/Module/WeakDual.lean

feat: port Topology.Algebra.Module.WeakDual (#3366)

Added WeakBilin.embedding View on Github →