P
Initializing...
Base case of cluster reciprocity: `G_a ≡ S(B_aᵛ)` through degree `1`. · Prove2Me