Theorem uniqueElim_default

Modification history