Prototype for Probably Correct: Oscar issue 3110#2395

JohnAAbbott wants to merge 3 commits into

Nemocas:masterNemocas/AbstractAlgebra.jl:masterfrom

JohnAAbbott:JAA/ProbablyCorrect-1JohnAAbbott/AbstractAlgebra.jl:JAA/ProbablyCorrect-1Copy head branch name to clipboard