Formalizing Two Generalized Approximation Operators. - Adam Grabowski; Michal Sielwiesiuk (Formaliz. Math., 2018)