JankoGroupJ4

JankoGroupJ4[] represents the sporadic simple Janko group J4.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.