Use new style function hierarchy everywhere.#1895

Merged

MatthewDaggitt merged 12 commits intomasterfrom

new-sum-function

Sep 26, 2023

Commits on Jul 30, 2023

Change `Sum.Function.Setoid` to use new style function hierarchy
MatthewDaggitt
committed

Commits on Aug 4, 2023

merge in of master and complete a number of holes.
JacquesCarette
committed

Commits on Aug 6, 2023

use strictlyInverse to fix a couple of proofs.
JacquesCarette
committed

Commits on Aug 13, 2023

some progress on Propositional
JacquesCarette
committed

Commits on Sep 17, 2023

Finished Data.Product.Function.Dependent.Propositional!
MatthewDaggitt
committed

Commits on Sep 18, 2023

More progress
MatthewDaggitt
committed

Commits on Sep 20, 2023

Finally completed Product.Function!
MatthewDaggitt
committed

Commits on Sep 25, 2023

Fix-up remaining problems
MatthewDaggitt
committed