src/HOL/ZF/LProd.thy
changeset 62337 d3996d5873dd
parent 60515 484559628038
child 62651 66568c9b8216