src/HOL/Algebra/Ideal.thy
changeset 57978 8f4a332500e4
parent 47409 c5be1120980d
child 61382 efac889fccbc