最小不动点

[zuì xiǎo bù dòng diǎn]

• least fixpoint

参考释义

最小不动点

• -