prove(ggeom-pred-pow-two-sub-one): ggeom_pred_pow_two_sub_one by mac-158f#2230

ohdearquant merged 2 commits into

mainagenticsnz/unsorry:mainfrom

queued/prove/ggeom-pred-pow-two-sub-one/mac-158f-2e384aagenticsnz/unsorry:queued/prove/ggeom-pred-pow-two-sub-one/mac-158f-2e384aCopy head branch name to clipboard