Commit 2025-10-15 07:25 f7e96f43

View on Github →

chore: fix the lemma name condIndepFun_iff_condDistrib_prod_ae_eq_prodMkRight (#30545) There is a prodMkRight in the statement, not a prodMkLeft.

Estimated changes