P
Initializing...
One-step concentration of the configuration (Lem. 9, Gast et al. 2024) · Prove2Me