Commit 2023-09-14 13:42 aafb96fd
View on Github →chore: generalize type of isBlackListed (#7136)
easier to use from, say, MetaM or CommandElabM this way.
chore: generalize type of isBlackListed (#7136)
easier to use from, say, MetaM or CommandElabM this way.