Theorem Language.mem_kstar

Modification history