Histogram of theorem length | danflapjax | ObservableHistogram of theorem length | danflapjax | Observable