Def Function.swap₂
Modification history
2024-05-07 01:05
Mathlib/Logic/Basic.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted Function.swap₂View on Github →2024-04-19 20:51
Mathlib/Logic/Basic.lean
chore(Logic): reduce use of autoImplicit (#12135) …
Modified Function.swap₂View on Github →