Theorem AntisymmRel.trans_covBy

Modification history