text/basic_properties.tex
changeset 339 9698f584e732
parent 338 adc0780aa5e7
child 342 1d76e832d32f