Def Ultrafilter.mul

Modification history

2023-03-17 14:06
Mathlib/Combinatorics/Hindman.lean
chore: tidy various files (#2950)
Added Ultrafilter.mulView on Github →