Theorem Semiquot.eq_pure

Modification history