Theorem AddValuation.of_apply

Modification history