Researching how professional mathematicians construct new mathematical definitions: a case study | Publicación