Theorem SymOptionSuccEquiv.decode_inl

Modification history