Theorem DoubleQuot.quotQuotEquivQuotSup_quotQuotMk

Modification history