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