Theorem Prod.swap_eq_iff_eq_swap

Modification history

2026-01-13 15:36
Mathlib/Data/Prod/Basic.lean
chore: golf using `grind`, reduce compilation time and imports (#33912)
Modified Prod.swap_eq_iff_eq_swapView on Github →
2024-11-25 15:32
Mathlib/Data/Prod/Basic.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added Prod.swap_eq_iff_eq_swapView on Github →