Theorem Subalgebra.val_apply

Modification history