Commit 2024-08-20 21:16 03f82cb0

View on Github →

feat: Prod.fst and Prod.snd are quotient maps (#15956)

Estimated changes

added theorem quotientMap_fst
added theorem quotientMap_snd