refactor(FirstOrder): abstract hierarchy over operators#838

00sqh wants to merge 1 commit into

FormalizedFormalLogic:masterFormalizedFormalLogic/Foundation:masterfrom

00sqh:operator-levy-hierarchy00sqh/Foundation:operator-levy-hierarchyCopy head branch name to clipboard