Theorem Cardinal.mkRat

Modification history

2023-07-03 11:03
Mathlib/Data/Rat/Denumerable.lean
fix: precedence of `#` (#5623)
Modified Cardinal.mkRatView on Github →
2023-02-11 19:21
Mathlib/Data/Rat/Denumerable.lean
feat Port Data.Rat.Denumerable (#2197)
Added Cardinal.mkRatView on Github →