对自主性的几点梳理

对简易几何机械化证明的进一步研究