theoremproving

美['θɪərɪmproʊvɪŋ]英['θɪərɪmprəʊvɪŋ]

[计] 定理证明

Examples