Commit 2023-11-22 22:57 e2426ff5

fix: decapitalize names of proof-valued fields (#8509) Only Prop-values fields should be capitalized, not P-valued fields where P is Prop-valued. Rather than fixing Nonempty := in constructors, I just deleted the line as the instance can almost always be found automatically.