Theorem Turing.frespects_eq

Modification history