Theorem WCovBy.rfl

Modification history