prop

n (infml 口) = property 5.


[[修改/添加解释]]