P
Initializing...
Proposition 4.7 with the segmented inverse (round six, `prop_4_7_seg`) · Prove2Me