Theorem Trunc.finLiftOn_mk

Modification history