Theorem Trunc.finRecOn_mk

Modification history