Observable below-two guards transported through the trial's affine normalization.
Dependency-pure R2 proof of the physical/normalized cocoercivity guard.
Observable below-two guards transported through the trial's affine normalization.
Dependency-pure R2 proof of the physical/normalized cocoercivity guard.