Code

lemmas about closure and connected#268

Code

Merged

CohenCyril merged 9 commits intomastermath-comp/analysis:masterfrom closure_connectedmath-comp/analysis:closure_connectedCopy head branch name to clipboardNov 11, 2020

+323-58

Commits

Commits on Nov 10, 2020

• lemmas about closure and connected

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  1c72734

  Copy full SHA for 1c72734

• lemmas about closure

  

  mkerjean

  authored and

  CohenCyril

  committed
  69f6a5b

  Copy full SHA for 69f6a5b

• factorize and document

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  9dfcb29

  Copy full SHA for 9dfcb29

• continuous image of a connected set

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  993ca96

  Copy full SHA for 993ca96

• relation closure/cluster globally

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  da51f62

  Copy full SHA for da51f62

• Introducing meets and factoring several notions

  Show description for 5838aaf
  CohenCyril

  committed
  5838aaf

  Copy full SHA for 5838aaf

• cleaning

  Show description for 6ebd496
  

  affeldt-aist

  authored and

  CohenCyril

  committed
  6ebd496

  Copy full SHA for 6ebd496

• some fixes

  CohenCyril

  committed
  c7fc092

  Copy full SHA for c7fc092

Commits on Nov 11, 2020

• fixup

  affeldt-aist

  committed
  999be2a

  Copy full SHA for 999be2a