src/HOL/Lifting_Product.thy
changeset 57978 8f4a332500e4
parent 56526 58ac520db7ae
child 58444 ed95293f14b6