Def List.TProd

Modification history

2024-05-06 01:06

Mathlib/Data/Prod/TProd.lean

refactor: make TProd reducible (#12686) …

Deleted List.TProd View on Github →

2023-01-20 17:11

Mathlib/Data/Prod/TProd.lean

Feat: Port data.prod.tprod (#1464) …

Added List.TProd View on Github →