The nonmeagre lower bound for the rearrangement number

Source: url:https://github.com/vo-rodrigues/rr-equals-nonmeager-paper Authors: Vinicius de Oliveira Rodrigues Status: verified Main declarations: NonMRR.nonM_le_rr Tags: set-theory, cardinal-characteristics, series MSC: 03E17, 40A05