Code

Add lemmas about imfset#112

Code

Merged

CohenCyril merged 4 commits intomath-comp:mastermath-comp/finmap:masterfrom ana-borges:fset_additionsana-borges/finmap:fset_additionsCopy head branch name to clipboardJan 16, 2025

+339-7

Commits

Commits on Dec 20, 2024

• Add lemmas about imfset

  

  ana-borges

  authored and

  CohenCyril

  committed
  29f6477

  Copy full SHA for 29f6477

• Update changelog

  

  ana-borges

  authored and

  CohenCyril

  committed
  d7053e8

  Copy full SHA for d7053e8

• nitpick

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  41c7fa5

  Copy full SHA for 41c7fa5

• + nix CI Coq 8.20

  CohenCyril

  committed
  a5ad32a

  Copy full SHA for a5ad32a