Theorem Semiquot.pure_isPure

Modification history