y
FactorialFunctionEqualityExampleProof FactorialFunctionEqualityExampleProof2 Pi2Pigeonhole UniformAssociativity3ExampleProof vtrat_comparison SimpleInductionProof
y1
UniformAssociativity3ExampleProof
y2
UniformAssociativity3ExampleProof
yellow
Rainbow
yielding
EqualityTactic