src/HOL/Algebra/More_Finite_Product.thy
21 months ago wenzelm 2017-10-02 misc tuning and modernization;
2017-04-06 haftmann 2017-04-06 more approproiate placement of theories MiscAlgebra and Multiplicate_Group