class Proof::Description

Attributes

current[RW]