Theorem WCovBy.trans_antisymm_rel

Modification history