证明加细是偏序

讨论议题:证明加细是偏序
本议题来自课程共(1节):
  1. 第十二节 偏序关系
参与讨论