axiom

public under proposition 24

List Picture As a command

• euclid's-axiom