Theorem WCovBy.covBy_of_lt

Modification history