Developing Complementary Rough Inclusion Functions. - Grabowski, Adam (Formalized Mathematics, 2020)