Add lemmas about imfset · math-comp/finmap@661d405

Re-run triggered December 2, 2024 03:19

#112

Status Failure

Total duration 3m 31s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

10 warnings

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

Notations "[ fset _ | _ : _ in _ ]" defined at level 0

Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and