947fffa9-f067-4765-9bfb-cef48700eaaf02b393b4-d0fe-45cb-bc7d-60ef082134cc1.4.5[{"lang":"es","name":"Formalización de los números racionales"},{"lang":"en","name":"Formalization of rational numbers"},{"lang":"ca","name":"Formalització dels nombres racionals"}]918/7/16 11:4318/7/16 11:43