Properties.idr 2.03 KB