Theorem Function.Exact.inl_snd

Modification history