Theorem Function.Exact.inr_fst

Modification history