Theorem IsMax.prodMk

Modification history

2025-02-25 19:33
Mathlib/Order/Max.lean
chore(Order/Max): rename `prod_mk` -> `prodMk` (#22188)
Added IsMax.prodMkView on Github →