Theorem ExpChar.expChar_center_iff

Modification history