BB(745) is independent of ZFC. [pdf]ingo-blechschmidt.eu1 point·dargscisyhp··0 commentsOpen articleSaveView on HN