[New Issue] Small typo in Lindenbaum's lemma for int logic zpr.io/sLkH5nN328kB
0
1
0
0
0