The formalizations in this code are based on proofs from "Triangular Norms" by Erich Peter Klement, Radko Mesiar, and Endre Pap and from my paper "Relation Between the Almost Truth of the Principle of Charity and Uniform Continuity for Monoidal T-norm Based Logics" by Noah Walker.