In the wikipedia page simplicial approximation theorem and a former answer related to this theorem, it was mentioned that on simplicial complexes, homotopy between continuous mappings can be approximated using simplicial mappings and subdivisions.
Anyone knows the exact statement of this theorem? Thanks in advance.