Theorem eq_natCast

Modification history

2024-02-05 18:00

Mathlib/Data/Nat/Cast/Basic.lean

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

Modified eq_natCast View on Github →

2022-12-13 23:46

Mathlib/Data/Nat/Cast/Basic.lean

feat: port Data.Nat.Cast.Basic (#980) …

Added eq_natCast View on Github →