Repository navigation

Add displays for topologies - #2143

Draft

nmolinamounier wants to merge 8 commits into

math-comp:masterfrom

nmolinamounier:topology-displays

Draft

Add displays for topologies#2143
nmolinamounier wants to merge 8 commits into
math-comp:masterfrom
nmolinamounier:topology-displays

Commits on Nov 2, 2026
- topology displays
  Neptune MM
  committed
  e143ae8
Commits on Nov 8, 2026
- temp: remove notations & reorder args
  Neptune MM
  committed
  f1fada0
Commits on Nov 9, 2026
- Apply suggestion from @affeldt-aist
  affeldt-aist
  authored
  0ab2ec2
- Apply suggestion from @affeldt-aist
  affeldt-aist
  authored
  74b086b
- Apply suggestion from @affeldt-aist
  affeldt-aist
  authored
  be2f8f4
- finish reordering args
  Neptune MM
  committed
  b29e269
- cleanup
  Neptune MM
  committed
  fafb492
Commits on Nov 10, 2026
- consistent displays & generalizations
  Neptune MM
  committed
  fb2df50