Theorem Semiquot.isPure_iff

Modification history