Theorem CovBy.pred_eq

Modification history