Theorem Topology.IsEmbedding.aestronglyMeasurable_comp_iff

Modification history

2025-01-31 17:41

Mathlib/MeasureTheory/Function/StronglyMeasurable/AEStronglyMeasurable.lean

chore(MeasureTheory/Function/StronglyMeasurable): split Basic into Basic and AEStronglyMeasurable (#21273) …

Modified Topology.IsEmbedding.aestronglyMeasurable_comp_iff View on Github →

2024-11-11 19:06

Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean

chore(Topology): Namespace `Inducing`, `Embedding`... (#15993) …

Added Topology.IsEmbedding.aestronglyMeasurable_comp_iff View on Github →