Theorem WithZero.lift'_unique

Modification history