Theorem ComputablePred.of_eq

Modification history