Code

Topological structures on numfields#205

Code

Merged

affeldt-aist merged 4 commits intomastermath-comp/analysis:masterfrom numfield_topologymath-comp/analysis:numfield_topologyCopy head branch name to clipboardMar 19, 2021

+1,481-352

Commits

Commits on Mar 19, 2021

• normedType on numFieldType

  Show description for 0f83012
  

  mkerjean

  and

  affeldt-aist

  committed
  0f83012

  Copy full SHA for 0f83012

• module for canonical topological structure on regular

  

  mkerjean

  authored and

  affeldt-aist

  committed
  52cd42e

  Copy full SHA for 52cd42e

• Fix non-forgetful inheritance

  

  pi8027

  authored and

  affeldt-aist

  committed
  6a7cc18

  Copy full SHA for 6a7cc18

• changelog, meta

  Show description for b60e93d
  affeldt-aist

  committed
  b60e93d

  Copy full SHA for b60e93d