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