Ruler law for open paths: between two equal 2-adic levels of an open path lies a strictly lower one

Initializing...

Ruler law for open paths: between two equal 2-adic levels of an open path lies a strictly lower one · Prove2Me