Theorem HomogeneousLocalization.val_neg

Modification history