[legacy] [incorrect approach] pretty-print inherent projections "correctly"#4
Closed
fmease wants to merge 1 commit into
Closed
[legacy] [incorrect approach] pretty-print inherent projections "correctly"#4fmease wants to merge 1 commit into
fmease wants to merge 1 commit into
Commits
Commits on May 11, 2023
- committed