P
Initializing...
The Lemma 13 cost in the `RowHyp` form (round six, `ceil_bnd_le`) · Prove2Me