src/HOL/Library/Quotient_Syntax.thy
changeset 50516 ed6b40d15d1c
parent 40602 91e583511113
child 55945 e96383acecf9