Updates to the sharding formalism doc #3

Job	Run time
Test ubuntu-24.04, 3.12, Internal, debug=1, onnx_ml=1, doc=1	4m 55s
Test ubuntu-24.04, 3.11, External, debug=0, onnx_ml=1, doc=0	1m 19s
Test ubuntu-24.04, 3.10, Internal, debug=0, onnx_ml=0, doc=0	5m 51s
Test ubuntu-24.04, 3.9, External, debug=0, onnx_ml=1, doc=0	1m 22s
Test ubuntu-24.04, 3.8, Internal, debug=0, onnx_ml=0, doc=0	6m 15s
Test windows-latest, 3.12, Internal, debug=1, onnx_ml=1, doc=1	6m 41s
Test windows-latest, 3.11, External, debug=0, onnx_ml=1, doc=0	10m 32s
Test windows-latest, 3.10, Internal, debug=0, onnx_ml=0, doc=0	8m 9s
Test windows-latest, 3.9, External, debug=0, onnx_ml=1, doc=0	11m 24s
Test windows-latest, 3.8, Internal, debug=0, onnx_ml=0, doc=0	8m 41s
Test macos-latest, 3.12, Internal, debug=1, onnx_ml=1, doc=1	2m 28s
Test macos-latest, 3.11, External, debug=0, onnx_ml=1, doc=0	3m 13s
Test macos-latest, 3.10, Internal, debug=0, onnx_ml=0, doc=0	2m 38s
Test macos-latest, 3.9, External, debug=0, onnx_ml=1, doc=0	3m 19s
Test macos-latest, 3.8, Internal, debug=0, onnx_ml=0, doc=0	3m 36s
	1h 20m 23s

Provide feedback