Stereometry axioms

Report an error