Code

Functions and cardinality#492

Code

Closed

CohenCyril wants to merge 4 commits intomastermath-comp/analysis:masterfrom functionsmath-comp/analysis:functionsCopy head branch name to clipboard

+3,572-1,314

Commits

Commits on Jan 19, 2022

• Theory of partial functions and cardinality

  CohenCyril

  committed
  d5071fe

  Copy full SHA for d5071fe

Commits on Jan 21, 2022

• documenting functions.v (wip)

  Show description for 45cfe72
  affeldt-aist

  committed
  45cfe72

  Copy full SHA for 45cfe72

• more doc (wip)

  Show description for 03c0ce6
  affeldt-aist

  committed
  03c0ce6

  Copy full SHA for 03c0ce6

Commits on Jan 26, 2022

• Update theories/functions.v

  CohenCyril

  authored
  be2acf6

  Copy full SHA for be2acf6