P
Initializing...
Equality_Relation_is_Primitive_Recursive · Prove2Me