pub const DERIVATION_NOTE: &str = "Read it from the top: the first row is what was proved, and each row below is a step it rests on, down to the givens. Press a row with a chevron to fold its steps away.";Expand description
What the note above the derivation says.