src/HOL/Computational_Algebra/Computational_Algebra.thy
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
less more (0) -1 tip