Theorem isSelfAdjoint_ratCast

Modification history