mathlib3

6f262856 - more properties about proj