Def Arithcc.Identifier

Modification history

2024-05-07 01:05

Archive/Arithcc.lean

refactor: replace `@[reducible]` with `abbrev` (#12614) …

Deleted Arithcc.Identifier View on Github →

2023-06-29 18:49

Archive/Arithcc.lean

feat: port Archive.Arithcc (#5595)

Added Arithcc.Identifier View on Github →