Commit 2021-05-10 11:03 81e736ed

View on Github →

feat(Tactic/PrintPrefix): #print prefix command from Kevin Buzzard

Estimated changes

added structure FindOptions
added def find
added def findCore