Pinning

added 1 commit

• 90ea6838 - fix admitted

Compare with previous version

added 1 commit

• 5e98ba73 - rename hyps

Compare with previous version

added 9 commits

• 5e98ba73...85369545 - 8 commits from branch master
• e752022e - Add pinning to model of types

Compare with previous version

added 1 commit

• 3eb14a4e - Add pinning to model of types

Compare with previous version

added 1 commit

• fc9a61b7 - Add pinning to model of types

Compare with previous version

added 1 commit

• a7aba740 - Add pinning to model of types

Compare with previous version

added 1 commit

• 879a2f95 - Add pinning to model of types

Compare with previous version

mentioned in merge request stdpp!235 (merged)

added 4 commits

• 879a2f95...8c43dc46 - 2 commits from branch master
• c961dd7b - Update iris dependency
• 7cdcc351 - Add pinning to model of types

Compare with previous version

added 1 commit

• e9e3f2ed - Add pinning to model of types

Compare with previous version

added 1 commit

• 9791328f - Add pinning to model of types

Compare with previous version

resolved all threads

marked this merge request as ready

added 2 commits

• 9f72ef66 - 1 commit from branch master
• 2e7d222c - Add pinning to model of types

Compare with previous version

This is a strange lemma, and the name isn't very clear either... could you make it Local at least to clarify that this is not something one has to care about much?

I've changed the name and made it local. Please have a look if it is better now.

Hm, I can't really make sense of the new name either. Nor can I think of anything better... would something involving eta make sense?