Theorem span_selfAdjoint

Modification history