Theorem DoubleQuot.ker_quotLeftToQuotSup

Modification history