Skip to content

Renaming psi' to psi^{nf} in ZIP 226#56

Merged
vivek-arte merged 1 commit into
zsa1from
resolve_issue_752
Aug 5, 2024
Merged

Renaming psi' to psi^{nf} in ZIP 226#56
vivek-arte merged 1 commit into
zsa1from
resolve_issue_752

Commits

Commits on Jul 23, 2024