Theorem Equiv.traverse_def

Modification history

2023-12-04 22:16
Mathlib/Control/Traversable/Equiv.lean
chore: tidy various files (#8818)
Added Equiv.traverse_defView on Github →