P

Initializing...

Hole nullity bound: a genuine $u$-hole $H$ with $|H|\le k$ has $|H|<\operatorname{rk}(H)+d$ (Erdős 624) · Prove2Me