y
FactorialFunctionEqualityExampleProof
FactorialFunctionEqualityExampleProof2
Pi2Pigeonhole
UniformAssociativity3ExampleProof
inductionExamples
atp_instances
poset4_example
poset_example
vtrat_comparison
SimpleInductionProof
y1
UniformAssociativity3ExampleProof
y2
UniformAssociativity3ExampleProof
yellow
Rainbow
yielding
EqualityTactic