mathlib

7244b43c - refactor(topology/local_homeomorph): simpler proof of `prod_symm` (#5906)

refactor(topology/local_homeomorph): simpler proof of `prod_symm` (#5906) 17X smaller proof co-authors: `lean-gptf`, Stanislas Polu Co-authored-by: Jesse Michael Han <39395247+jesse-michael-han@users.noreply.github.com>