Theorem Quotient.finRecOn_mk

Modification history