Commit 2023-10-26 12:30 57a0a1ab
View on Github →feat: Prod.fst : X × Y → X is a closed map if Y is compact (#7936)
From the Mandelbrot set connectedness project
Co-Authored-By: @girving
feat: Prod.fst : X × Y → X is a closed map if Y is compact (#7936)
From the Mandelbrot set connectedness project
Co-Authored-By: @girving