m8h32gq9import Axiom
namespace m8h32gq9
def GodIsGood : Prop := "God is good"
end m8h32gq9
Jump to declaration
Filter file declarations by leaf or qualified name
m8h32gq9import Axiom
namespace m8h32gq9
def GodIsGood : Prop := "God is good"
end m8h32gq9
Filter file declarations by leaf or qualified name