Theorem WithZero.log_div

Modification history