Lean (version 4.7.0, commit v4.7.0, Release)
exitCode=0
'HunterAuthored.exponent_xor_self_positive' does not depend on any axioms