Theorem Test.bar11_works

Modification history

2023-09-08 21:07

test/toAdditive.lean

chore: simplify `by rfl` (#7039)

Modified Test.bar11_works View on Github →

2022-11-24 01:53

test/toAdditive.lean

fix: fix to_additive handling of Nat and Int (#689) …

Added Test.bar11_works View on Github →