Theorem eq_ratCast

Modification history

2024-04-15 14:21

Mathlib/Data/Rat/Cast/Defs.lean

refactor(Rat): Streamline basic theory (#11504) …

Modified eq_ratCast View on Github →

2024-02-05 18:00

Mathlib/Data/Rat/Cast/Defs.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified eq_ratCast View on Github →

2023-01-04 12:39

Mathlib/Data/Rat/Cast.lean

feat: port data.rat.cast (#1261) …

Added eq_ratCast View on Github →