Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.ext_iff

Modification history

2018-06-19 08:19

feat(tactic/ext): `ext` now applies to `prod`; fix `ext` on function types (#158)

Added prod.ext_iff View on Github →