On Fuzzy Negations Generated by Fuzzy Implications. - Grabowski, Adam (Formalized Mathematics, 2020)