Commit 2024-08-16 15:43 355dce78

View on Github →

feat: topology on ENat (#15380) this is ported from Peter Nelson's Matroid project

Estimated changes

added theorem ENat.embedding_natCast
added theorem ENat.isOpen_singleton
added theorem ENat.mem_nhds_iff
added theorem ENat.nhds_natCast
added theorem ENat.range_natCast