text/basic_properties.tex
changeset 971 bbf14d934cb1
parent 961 c57afb230bb1