Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.prod_eq_iff_eq

Modification history

2022-04-05 21:26
src/data/set/prod.lean
refactor(topology/vector_bundle): redefine (#13175) …
Added set.prod_eq_iff_eqView on Github →