Colourless Largeness broadly with in every direction be worthwhile for MO

10:40
11 October 2023