Theorem Semiquot.pure_is_pure

Modification history