MT19舒尔不等式设计理念及证明

Posted 2020-10-03 青春的记忆

评：舒尔的想法是美妙的，当然他本身也有很多意义，在机械化证明的理念里，它也占据了一方田地。