Theorem Quotient.finHRecOn_mk

Modification history