Skip to content

[ refactor ] remove redundant private lemma in Data.Sum.Algebra - #2908

Merged
jamesmckinna merged 1 commit into
agda:masterfrom
jamesmckinna:sum-algebra
Jan 23, 2026
Merged

[ refactor ] remove redundant private lemma in Data.Sum.Algebra#2908
jamesmckinna merged 1 commit into
agda:masterfrom
jamesmckinna:sum-algebra

refactor: remove redundant `private` lemma

469062c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.