Add set-mbox-jag mathbox - #5432

Add set-mbox-jag mathbox#5432

jorge-agra wants to merge 7 commits into

metamath:developmetamath/set.mm:developfrom

jorge-agra:jag/tgaas-aas-mathboxjorge-agra/set.mm:jag/tgaas-aas-mathboxCopy head branch name to clipboard