Theorem DoubleQuot.ker_quotQuotMk

Modification history