[ refactor ] `Data.Fin.Properties.decFinSubset`#2793

Merged

jamesmckinna merged 8 commits intoagda:masterfrom

jamesmckinna:decFinSubset

Oct 26, 2025

Commits on Jul 30, 2025

[ refactoring ] decidable `Data.Fin.Properties`
jamesmckinna
committed

Commits on Aug 2, 2025

refactor: make `variable`s `P`, `Q` local again
jamesmckinna
committed

Commits on Oct 1, 2025

Commits on Oct 11, 2025

Commits on Oct 26, 2025

Merge branch 'agda:master' into decFinSubset
jamesmckinna
authored