Formalizing Two Generalized Approximation Operators. - Grabowski, Adam; Sielwiesiuk, Michał (Formalized Mathematics, 2018)