Theorem Semiquot.mem_blur'

Modification history