Theorem Function.prod_apply

Modification history

2026-07-01 01:31
Mathlib/Logic/Function/Defs.lean
feat: expand lemmas about `Function.prod` (#41148)
Modified Function.prod_applyView on Github →
2026-05-10 01:42
Mathlib/Logic/Function/Defs.lean
fix: rename `Pi.prod` to `Function.prod` (#38963) …
Added Function.prod_applyView on Github →