Theorem Monoid.Coprod.fst_apply_inr

Modification history