Theorem Hollom.not_R_hits_same

Modification history