Def Prod.delabProdFst

Modification history

2024-03-05 18:47
Mathlib/Data/Prod/Basic.lean
chore: update unexpanders (#11165) …
Added Prod.delabProdFstView on Github →