Theorem Prod.ext

Modification history

2023-11-21 12:27

Mathlib/Data/Prod/Basic.lean

chore: bump std4 (#8548)

Deleted Prod.ext View on Github →

2022-12-04 12:47

Mathlib/Data/Prod/Basic.lean

chore: bump to nightly-2022-12-03 (#838) …

Added Prod.ext View on Github →