Theorem ENat.openEmbedding_natCast

Modification history

2024-10-18 21:29

Mathlib/Topology/Instances/ENat.lean

chore: Rename `OpenEmbedding` to `IsOpenEmbedding` (#17898) …

Deleted ENat.openEmbedding_natCast View on Github →

2024-08-16 15:43

Mathlib/Topology/Instances/ENat.lean

feat: topology on `ENat` (#15380) …

Added ENat.openEmbedding_natCast View on Github →