Theorem map_ofNat

Modification history

2024-02-05 18:00

Mathlib/Data/Nat/Cast/Basic.lean

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

Modified map_ofNat View on Github →

2023-07-19 05:37

Mathlib/Data/Nat/Cast/Basic.lean

chore: cleanup whitespace (#5988) …

Modified map_ofNat View on Github →

2023-03-28 18:09

Mathlib/Data/Nat/Cast/Basic.lean

feat: port Algebra.Star.CHSH (#3135)

Added map_ofNat View on Github →