Fundamental Properties of Fuzzy Implications. - Grabowski, Adam (Formalized Mathematics, 2018)