Def Prod.delabProdSnd

Modification history

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