Code

some more renamings for Multivariate#159

Code

Merged

fblanqui merged 1 commit intoDeducteam:mainDeducteam/hol2dk:mainfrom fblanqui:multifblanqui/hol2dk:multiCopy head branch name to clipboardJan 6, 2025

+8-5

Commits

Commits on Jan 6, 2025

• some more renamings for Multivariate

  fblanqui

  committed
  02cea2f