New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

adding assumptions `i \in K` and `j \in K` generalizes the lemma #113

Open

affeldt-aist opened this issue Dec 2, 2024 · 0 comments

Labels

Milestone

Member

affeldt-aist commented Dec 2, 2024

finmap/finmap.v

Line 2610 in a907a9e

(forall i j, i != j -> [disjoint F i & F j])%fset ->

affeldt-aist added this to the 2.2.0 milestone

affeldt-aist added the enhancement label

affeldt-aist added a commit to affeldt-aist/finmap that referenced this issue


          fixes math-comp#113

ce0fddd

affeldt-aist added a commit to affeldt-aist/finmap that referenced this issue


          fixes math-comp#113

b2a8eed

CohenCyril pushed a commit to affeldt-aist/finmap that referenced this issue


          fixes math-comp#113

def9eee

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment