Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method. - Mitsuishi, Takashi (Formalized Mathematics, 2023)