Proposition (mathematics)

Summary