Theorem selfAdjoint.val_div

Modification history