Quot/Quotient_Product.thy
changeset 1211 05e5fcf9840b
parent 1129 9a86f0ef6503
equal deleted inserted replaced
1210:10a0e3578507 1211:05e5fcf9840b