Skip to content

remove isTruncatedFun (duplicate of isOfHLevelFun)#964

Merged
felixwellen merged 1 commit intoagda:masterfrom rwbarton:istruncatedfunNov 27, 2022

Commits

Commits on Nov 27, 2022