Oliveira, M. S. de; Silva, F. S. The Formalization of the Concept of Functions Defined by More Than One Sentence in Mathematics Textbooks. RIPEM 2023, 13 (2), 1-18. https://doi.org/10.37001/ripem.v13i2.3595.