justification function

[计] 证明操作

今日更新

更新时间：2025-11-23 12:00:25