text/basic_properties.tex
changeset 330 8dad3dc7023b
parent 314 6e23226d1cca
child 332 160ca7078ae9