Commit 2024-01-08 09:51 5618e431

View on Github →

chore(*): use α → β instead of ∀ _ : α, β (#9529)

Estimated changes

modified def ChainComplex.mkAux
modified def CochainComplex.mkAux
modified theorem Fin.tuple0_le
modified theorem Set.univ_pi_update
modified theorem RatFunc.liftOn'_div
modified theorem RatFunc.liftOn'_mk
modified theorem RatFunc.liftOn_div
modified theorem RatFunc.liftOn_mk
modified theorem pi_midpoint_apply
modified theorem Set.definable_finset_inf
modified theorem Set.definable_finset_sup
modified theorem Dioph.reindex_dioph