Skip to content

Give human-readable names to functions in InstallMethod#3420

Merged
fingolfin merged 1 commit intogap-system:masterfrom ChrisJefferson:name_funcMay 11, 2019
+678-59

Commits

Commits on May 8, 2019