Theorem Function.prod_fst_comp_snd_comp

Modification history

2026-07-01 01:31
Mathlib/Logic/Function/Defs.lean
feat: expand lemmas about `Function.prod` (#41148)
Added Function.prod_fst_comp_snd_compView on Github →