Theorem isSelfAdjoint_natCast

Modification history