pub fn is_machine_derived(category: &str, key: &str) -> bool
Whether this fact was derived by lean-ctx rather than written by a person.