Theorem Hollom.not_S_hits_next

Modification history