Theorem Function.swap_def

Modification history

2024-03-21 15:28
Mathlib/Init/Function.lean
chore: work around simp issues in future nightlies (#11546)
Added Function.swap_defView on Github →