Theorem Relation.church_rosser

Modification history