Theorem NonUnitalSubring.val_neg

Modification history