Theorem AntisymmRel.trans_wcovby

Modification history