Safe prefixes of a $4$-AP-free enumeration are exactly the $R$-closed cuts · Prove2Me

P

Initializing...

Safe prefixes of a $4$-AP-free enumeration are exactly the $R$-closed cuts · Prove2Me