Theorem WCovBy.pred_le

Modification history