src/HOL/AxClasses/Group.thy
changeset 20380 14f9f2a1caa6
parent 17274 746bb4c56800