Mathlib v3 is deprecated. Go to Mathlib v4

Def order.embedding_from_countable_to_dense

Modification history