HvdH machine lemma BD.bapL_length (Crude magnitude bounds, part 1: scalars and the one-dimensional maps)

Initializing...

HvdH machine lemma BD.bapL_length (Crude magnitude bounds, part 1: scalars and the one-dimensional maps) · Prove2Me