Theorem Unitization.inr_zero

Modification history