pub fn all_theorems() -> Vec<&'static StdEntry>
Return all theorems (non-definitions) in the standard library sample.