Theorem prod_mk_Con

Modification history

2026-01-15 15:56
MathlibTest/fun_prop_dev.lean
style: make fun_prop tests match the mathlib style guide better (#33999) …
Modified prod_mk_ConView on Github →
2024-02-04 21:54
test/fun_prop_dev.lean
feat: `fun_prop` tactic for proving Continuous, Differentiable, Measurable, ... (#10040) …
Added prod_mk_ConView on Github →