Theorem PreTilt.valAux_zero

Modification history