Properties.idr 1.13 KB