Code

Clarify doc of init in map_word#4498

Code

Open

TWiedemann wants to merge 2 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom TWiedemann:tw/map_word_init_docTWiedemann/Oscar.jl:tw/map_word_init_docCopy head branch name to clipboard

+28-10

Commits

Commits on Jan 24, 2025

• Clarify doc of init in map_word

  TWiedemann

  authored
  83585be

  Copy full SHA for 83585be

Commits on Jan 25, 2025

• Remove redundant ref in map_word(::PcGroupElem)

  TWiedemann

  authored
  344232c

  Copy full SHA for 344232c