Formal Introduction to Fuzzy Implications. - Grabowski, Adam (Formalized Mathematics, 2017)