Skip to main content

PROPOSITION_LABELS

Constant PROPOSITION_LABELS 

Source
pub const PROPOSITION_LABELS: [&str; 2];
Expand description

The fixed ordered labels of proposition (3.2).