Theorem Semiquot.nonempty

Modification history