EntryValue
KindDocument
Document addressPFJWrHQkxgdYxtxgsV1pfdphCihZFFr9a4
In theory82c7571f411491f3a88406467944703766cd46c98aeeeb6b17b2cc095f1954de
Defined Object 0329174a0d79f9375369189ff651e2f17d07d4aec4ff8e6037faad8579ce6164a
AddressTRnotc1pMABjJZRj9fueydGWyCQvNkAEEK
Type34a218a5d927ff67c8a53d2fed5d2d0558d3569b51651bfc241a7e7bb369a72f
Pure object5bf697cb0d1cdefbe881504469f6c48cc388994115b82514dfc4fb5e67ac1a87
Pure addressTVwnsRqbT3xfzVDGg5xqZ2pxERycTGEe7f
Defined Object 11502e65c357e30da1812b19f36ff0f1a71d7d6b0201d7014a93ef2160ad06c37
AddressTBXyxwP8RL13aiLkefEVsAMwCxLxPEdB5u
Typeb40ef34404e5b0385d8679d2a13e4358ab6091ddb143ca6526a2ae4a96723104
Pure object058f630dd89cad5a22daa56e097e3bdf85ce16ebd3dbf7994e404e2a98800f7f
Pure addressTEnTPrYwpYUg4QFqZuenhtWxoSQJi3gdtb
Defined Object 269c7e036f4beecaf88069332754db8993291f7c1e8a8f571597885e7c960adb7
AddressTTr19moRJB1S8zi9CCC2AhLV47iAXFNGCx
Type0e061a8e8f401f912e8627ae1c4a749a1300b2e4093744e9c7edbb6d683305a8
Pure object87fba1d2da67f06ec37e7ab47c3ef935ef8137209b42e40205afb5afd835b738
Pure addressTF5hycWWgMKcVGhgYhheMm1xzE6FhixuoN
Known Proposition 0656d78f8595892f969a0cf5b2857674943c6d97f59292c7826ac651e6b9c0e2d
AddressTHUfxfskRj21KYxGmj9kCYVmDSLnNoKY8p
Pure proposition7f6246d08629eeb16eab93529ffe4f929f43344833ab88c7786393693520e82b
Pure addressTTZhJio1YwDmdU7NSMi94VUzMnyFg1KSot
Known Proposition 1d0d0bb2fc2bfe7d2b4ec2b81f11cb20067bb2e9807a58a822cd0202cbebb05a5
AddressTXPPQyZntmhfuXEjS2Q14kqfSiNEG5EWPb
Pure proposition589f6f0adf4a2180ae3407d994465194017a214cfcd2b4af09d7ae199ce430e9
Pure addressTRDUHdorHkcjLFEifCSV4tRLFyRLf5uiNR
Known Proposition 24eeb51b4f859e95f2df909fd6b16e1e8571d015e8777cf41d101295905b3a171
AddressTProM9jRDvEhngFwFSx3zJ91HZnPDootGP
Pure proposition35cc18a7f8931ae1514846f2d771c7872c42374f289fec9dc4c319874b25d77b
Pure addressTMSNBwNDksiU1ueUfvfCVHH81WHdWcr3L2
Defined Object 37dbb4bdbdd6ebb6d7f2bc3465e2185650716b76147db39918f605430dbf4c076
AddressTFwwSANR22asdi5piJXmYEzh27osGVgPxQ
Pure objectcfe97741543f37f0262568fe55abbab5772999079ff734a49f37ed123e4363d7
Pure addressTPAJorVakp24e225yRwuSjo5doRYntT1AA
Known Proposition 39a81ae16885ea79cc38de4d9604ad9c222500419c9484dd098ceff2ecd5b3940
AddressTFCE7YstRkMfiv95pKEnjrz5EbZ1BuHZGW
Pure propositiond5fdb4f6cfb82cab64716bee0629544da9b7530752eb0873529def98362fd6b4
Pure addressTJwzKkHqR2LUXHwxUChYFx8NqngEjv2r1d
Known Proposition 401eee183aa15188fa72e4a54d5204f7e9f41a27a0256c636e3b1cd15d462c7af
AddressTUcLdRCvb63wr5p3sWEicHhekwnTmWSuQa
Pure proposition5ee4a4103f04cabe781fcdc73566d7dd74b33cb621a83145e1fcff8855469827
Pure addressTGcsZaHtuTBpdZMxEPpVdjexSmk4mJ52dn
Defined Object 42a23ed71aa8f98b08c1ec37d5dc88fd55b8c27b08f1a51d4a0a58a6a6a083c79
AddressTLAbn2Umru6hkDwfMrzywZ66DXWnSKUWUu
Typeb4a5034b9a4eda90930c0122a0211d40f6db016bdcb473b156276edd55965445
Pure object5a6af35fb6d6bea477dd0f822b8e01ca0d57cc50dfd41744307bc94597fdaa4a
Pure addressTTnzLiu4vprduGQYBywTkjwq1WPGqAiPt3
Defined Object 5042a37e276ddf52651b282cc8077bf178b8af101f92dee01ca84a09b687cf6b5
AddressTKfDm2biPJkrMkemawonbzkjVuuzUawVrV
Pure object51cb1e016d5a2e4ea4607b2fa5d0683fb885795e32cb81289edddfe4943f9566
Pure addressTBr112xRmcUhrWa5ZGKmvjXQZWnU41U4t7
Known Proposition 5206f976300723e842a3f5a72049db53ef3a6473e8c6ab01ae379fd119b977d88
AddressTLHrfiS4YpBC9erSS9aJTCJTjL4NJt6Jw4
Pure proposition7b7a158582a755e85390b8b837c8791550dc4bf714a197993bdb4071ed9f4bdb
Pure addressTTkBemvsyBViWzovPzh5s3aC2hqXX2wuwa
Defined Object 68b13c9ca1e76ba66807aaa1816af5a174ab3d385a9eb9b6b02db550645515cc9
AddressTNsg2cy685D1MthmyNMrNjPuyjfqxkjHNa
Pure object0e7f6a08bb4627c0ddedda9151c907864644724fa34b3e850be0bfb73ba13e89
Pure addressTM7hYg7NY1AzToZGev5MaaN522tcHdMPws
Known Proposition 618037165b488a67cf39131c856b11be9a681decbca42ad49ea468900eee0035b
AddressTHt8ZQkJUb3WrGpraZxNQi86nS4BabjqjQ
Pure proposition0f730be4ec19d9c14f6f80059c561f714dcecb54d8fa04f3570d0607e71d8331
Pure addressTHxcFh9gzUqGvyWuN7TsQ4gT7RsEdJ6wqS
Known Proposition 79ed82de9ce1cc9abacb8df45a66e1445dc7dc6832a7b981fbac583fd5db2bb7f
AddressTVDcxDYFHdiYqVVNumYRZ2WUKcsf8ZJqmV
Pure proposition284ee58e7aea454281b73a0d0acb6efade8eeb4f2f3bf29aaf48a8fef862ceff
Pure addressTYUbN5MyzADijdLhsshupXnbAjcXQW9P8h
Known Proposition 89a97ffcf287412d5c2878cc9bf18dac38b3441d33d84a2a78a635763ba131380
AddressTLtvr7v7rNepJteqmXAQzntjQ8aZaJ97Gh
Pure proposition6923810b5a09707845d33762a60b983e762c8216e132a5c0ecf41525bd50abe7
Pure addressTXmuVhV6BX28UHPZ54NZAyuKTEothyip6v
Known Proposition 9606787bc8e1f7044cf0b35d875c5bb17538948157ccc4cbcf50b4df76d3761b3
AddressTLVp96DSLMHmQBH2asWW2gBACtX6ikvBpN
Pure propositionc14a711e50b3b18bc84c65dbb7c0e4331544b4214cfce9fe4a268a423758c283
Pure addressTKkXnNNkG6QDfkcmfArYJgNZk2aDioQrpM
Defined Object 70bd5c44dcfca5f09f2c1dcdf6b0057e164b797e3f08620889bbdc40c5b8b0d69
AddressTTjPZegEDxybfvVsBPNMMQ47R6fs21kHDu
Type19d5b85fbd6d09be9e78b468550be3960f64b34a8e3437c86df7c31d5cbcf6c0
Pure object912ad2cdc2d23bb8aa0a5070945f2a90976a948b0e8308917244591f3747f099
Pure addressTNP1SZBnPsKpXQWJHxmCUYveeGdKR7AxD7
Known Proposition 10fdb05aab9e26bac349cb275686ff49c922cb4068e1af56a7c66f8daa312704a1
AddressTDXZqxA3VQQnte3z4kYA3mqB9psTag9GaL
Pure proposition68ad3f1490f01f41af54d63204077bb7225f1d5c68f521477c0cb04e89a675df
Pure addressTMMA6EUb7mEPSkV9WNGv1u7U7VL3Emn5Ds
Known Proposition 11e8aeacc1a2574d6b059529a59eb5696e02dec4163d4ab5892992c3b6a37312fd
AddressTDVfyDcHVxCFW5r8oxapAo3oP1yaKP6yB7
Pure proposition467a531e19258456c42c3c01cf7ff5e88df3468c33dc9ad0e1fbd801350f8f88
Pure addressTYUhZE9trPSR8kLgAwQxjg2ZMHMw3opdzb
Opaque object16db9c02b23ea8fff287b0d02882c42d0a935c7b0d656ef4e6ef3a7a68918828
Type229193d7fdae162df754bbbcc9799a509041fb99dbd5ea833813d31447f145a3
Known Proposition 12be1abe1e36a71cf9e4233286fa3407615cb058a2887dd13106d19dec64f4fd5c
AddressTAMQY7bqWGwgBN2gxW2oMd8SbdRuprbwa7
Pure proposition2140b59a8fb6a18df08c3f4c898687a4056ef5da8146dbd35686f2bd32d47a35
Pure addressTKBSdcHRNW1fC7e84vn7zETKbWiyFBbffk
Known Proposition 139c234ed3bcad5b953822af7ca6c412bd3997ed10697eaf347b0beafbbf6624ca
AddressTCSPxbPTkpDZGYxfU89KL43FfbYZuqo5tB
Pure proposition983085a5f11ac6453e912f323aac32dbac531303f851cfd8f0c3d440017225ab
Pure addressTV9zP2ow3H77CEdh2xrzRvNt9RSnYyAmc3
Defined Object 93e6fe3997a4af0553c1b7585cc172c6c20987f01b3bf5b319e5ad2a4e391d37e
AddressTMPxJYtdRUdzQm87F678td8wby5qK72aee
Type999ee3e5d54951a2019945d636816fc12fc2da23a7d45c80bebf4157531957aa
Pure object8ce2c8ad977932417f71033d7b38409f9e0f2b10207546da33df65e62236d83a
Pure addressTYG98uU6FCAqWcSLRKXEuZryV638KH1SZd
Defined Object 10e1c15ade4a35b68314823a55ce0a3db7981d27124beebce95a453099adbfde7e
AddressTGezvvD3sDWpSiseV7mNV9HKCxk43UrnBS
Typee633347406688bcc63c10e9d2fb8bae3f67f7f1d88981b4e0d670e6d9ad1c0b1
Pure object300103852f2face233b0dedd69e041e9c4191735f69c1f68d5459066022c57e7
Pure addressTW2vf9yw8HgQztou9mvpy3Yns5P814Eqtt
Defined Object 11e15d6d1295438c690868b6b8d0ac02a6f28bb6ad36fb495ccefbe95f462136b5
AddressTMpPvAsL1zQTxymjo81SFkopx3JPQ5qndb
Type350bff9c12b94557ca7b66b5552ce2ada3c19ba9cfa581877679506be07e5b3a
Pure object2f8b7f287504f141b0f821928ac62823a377717763a224067702eee02fc1f359
Pure addressTXMtcFxaTuKR2F3ayqvdi1oH5YNZuey9aj
Defined Object 126ecd98ec5b44941af8c264db5df131eb3da3c965e219be6db00a49c5fa439346
AddressTYHnw2a7xqnekQgLFaMa2qHPykqi9dDM6X
Pure object8a8e36b858cd07fc5e5f164d8075dc68a88221ed1e4c9f28dac4a6fdb2172e87
Pure addressTCSMHpWEnfkR39NRsQFub8uprG4nZPEJy7
Known Proposition 1457b4a83e097bee7270e4be4c3c1d5d17376fa496100b6ea810e453fa45e7b161
AddressTGYQfLg279CfH3Qu6kfzpEMd82SDWYKqWP
Pure propositiondb69db5fe0ab30c62cbb6c6a5585580d13a89b7a739501bf6ab7f69ba07ed65e
Pure addressTFwSTHYgunomzqVmUCWivXJKVGCEAtKLKp
Opaque objectf55f90f052decfc17a366f12be0ad237becf63db26be5d163bf4594af99f943a
Type1436767bded65e78497e105c72f44ab6193476aa4cdb0f117f990223f9bc8942
Defined Object 14946e196437ac96e1be9f15749d55daf80f420d3d716b7ef37d4cee7351c463a4
AddressTWySP81SvTCc8VaEFguox7zJosKJT7WkCV
Type49e194bf6bd5a78bef258514d3b8abad665f64a714c4c522812d9d91f2214fab
Pure objectee0b09fbfbda76156511ec03a1fc7c909693103f062263776c2c98a655837c92
Pure addressTKMCCuyHiE7xyshZ2uT8A57etbEdXVJv3D
Known Proposition 15c25fbfb78842bac29afd5135480456a1939e1443b7e2ef24078e4fbe3ef400cc
AddressTQH3dn2MR2Z5vnnJifsYKj8JPKa3RiLpVQ
Pure proposition53a144a1d3f48bbfef916df17c6aa96adfc836a63467bef993fcbcd26e9e2865
Pure addressTDYWo3xkY3B5DPLUce1rTVZuHhNwsBpJdL
Known Proposition 16ce831a5233dcce58b6a7968e2baeaee6430ba3bbfef5a01f45af1f0c186fcee8
AddressTP7ZjdoiwZVNwbRGiYHjDD7Uvma9Xj5hH2
Pure proposition6464a44530913df3e6d030804321bc10ee5f460fbaa9d7be245e784e10766667
Pure addressTUhwSMQF5FhwsyQecwoHELjD7khLbVKB7N
Known Proposition 1714c7e05cb48408f49c5eff55232d490f73ccb458437f7e87cbd20dfe9d884945
AddressTLx6XhpFmBRoPhb65gP4nnNxoqXge3S2ov
Pure proposition32d1b89792462a93a3f0b39fd0af65084fc19951789fbfedaf1434075442a3f9
Pure addressTConxt7tQyJ4u4kjtmLukD93ySzJzJwTT5
Theorem 0c38e294cae747349a6c57ef473844466f22d59e69a15948a4121f2fe517c721f
AddressTDUiEuCWp3Aj3B7G2oikVV9RY51wwuDSyv
Pure proposition8cf4e506afd1a246044d07c4d873d0d63fcce0e04539af8182b74df1494dfb02
Pure addressTZ7kAYfdtmy4qKzEpTyLRYy5FcoM8QKR9u
Proof398b38d05051c3441c7d405c407bbd5931fd40a626d42add9a5228b677e69b40
Theorem 13938bb9554a94092e4ef268efd9f6f0cefcad01aefba1c08c6af0f2514fa1c07
AddressTX3yXPRWn5UE8TMssZARkGE9D4gYx3zM9n
Pure proposition1e9c5a029b682688933a507bf2677cfdb7cb63cfbf4cd1d6eab8d0c665471a55
Pure addressTFMxhu7jtwi9e1sLcuZNsNoVFwi5YyzkVv
Proofa21f53b02f1bb4955f87a3f9f8bc81bcf71b4608bcd3653a9737279deebf0950
Defined Object 1590b958bdb205ca4e3f94b648ed53d4c1866059bf85a89db8907c485ac81b3dc4
AddressTLX3E4xHn4bDnYcY9y2VctXp4Nbk9j6oyM
Type9714ab1f77caff3eba089f1e7af12d70517c36d2adcc17d0073626a959e64ea4
Pure object8556edf43bc66b407e1fe9ec88d9603a48e699c3a714e2719e448dacc2d60118
Pure addressTJJrssZkCwYX5ZkS3jNx4cGFxqNGNQws7H
Defined Object 1644bf57dfa450a4c44e8844690e6f33773df2d6f507ac5b4059fd446089a2b1d6
AddressTY7eaw5Wm77dqNpAPCZdmfb3yPf5rdFN3M
Type6a297a569b0af5b7a76832030c95f8b92c6364ac12ecaecf0e44ad6d34597fe4
Pure object2cc93a906b4aaa107a40b7368660a5531ef10b356ebf2a0c0e272b5cc11b0f99
Pure addressTR3ZmRmd3FDQ5pkTurE9zesAQyh2HTwH6Z
Defined Object 171b64abfe79994c742f5441825f2512adfda2ace904a82ffa280a10ed53aa2f48
AddressTToYcLcFVYSSLPP8QzjrqRKgcBBqhVGHX3
Type0270732764fe80b09565560036ff8c8ed5b700b84b09f17e964a35111a8030f8
Pure objecta18909d50552b83e53167b2f7dfb6eeefed5e175e767bd2c614dcf92b8ce45bb
Pure addressTNZrCeRAQUZqNcjSupj1L5qxTCpgMBXALL
Defined Object 18d8fc5a79cc035c9c7f9cec74b345f1f1347340fc023e1405c7555982d17622c6
AddressTK44oAWCgbQwkP5RggNaFEdRbhk4tfJujF
Type66b321ace1f0eebdb3e5b28106698824e00fd7b9cc6c990bca3fffbd615dcd02
Pure object55a466bf6df10afc431902d795c565a08a97edf4b1be312477b8753804267a7d
Pure addressTWb74zPCUeYtAr5F577VpFpXk6Z7Hqcf6F
Defined Object 196b96a9193f7f099516c5f0702cc433fb44eb3d5d065f55f605820c51a6f6137a
AddressTLrRCQ88WqSTB7vCDLQb8i6GPqkCgBAmZw
Type9029cbfda092f55af08a13d0dbd9b22a12422b92159616ff67a1fcb8ae9737ad
Pure object87ce7804071442950fd113e2122a6fb71539a5b51343c41f7d5e250a212e2cf0
Pure addressTBqMKFMJG62pLa7QJKA4jR1beEgrwzeSZF
Defined Object 20a99b3ce13ce4e2aa6e7dc9e836b7ccd06b1cb3495c5fe646de29d4d6d21805fd
AddressTS52yYhBYCF4eWXHJNPiKmkRQhscsGkMhM
Type2c9a6a387bba9c1ca274775a332ab92716de78b60d174fdc84f3f66a12e3445d
Pure object5c82f56eb23782c5cb19e0e5e2f141d1776993e4bc5b37223a906c9db52d685d
Pure addressTTsP1TJ7n4a1ajiGFK7R3DDbSgt3CRQ6Wr
Defined Object 21cb8f9984dc33d93542f484a6c1d8e9f2b85037185af2958f1d988b037cce7556
AddressTXbPfKgGZKyb3ZaaDDpBjN9UJ4b5xDGTHs
Typec45f239d704e718f5d5faad72d2972c9797f4fa017e9b8c2f90d450f3b352f39
Pure object95a48369ea10c9e5f13c2d580bfa4a029223fc05719de5dae1bff88e135125a1
Pure addressTJHugbPvyw2QZYrtJWsbN1rYt99t5RmcRt
Known Proposition 18e06e2ea64e29621ae1112c00996b91903a5bbc4fb23f5b41c789d65e60ba701c
AddressTW7bwez4D2a7iCBh1vy1UWtX4VLx5SyXuh
Pure propositionc5442031e49316a567aa19bff069e2c81d364a4c98a2d6672a958d3de0d77742
Pure addressTG4DF9mRbbzyA81ekDsTeCnFPvCgpJFJPL
Defined Object 227628e7b17bfdce72b99795fb1d605706f4e2184725297263fce48693dc8a6831
AddressTQzZ3uuYKq39FizLpFx51aLM4ztFPRM8LW
Type8890bc3f12dec02a57f9a76f9283e0fc9cf022e525beb9436a8998b394a8ea87
Pure objectd3599cc5de52484ae9126453af23116235aa18fc9fa8534c6f0dce8b8a87355f
Pure addressTS8NFjYXRSSuMiqD9ourDcv8GtAscrDK7T
Defined Object 2330019604afba9c28339879dcbae0abd85513bff07f0426275ae5b45ca4e51780
AddressTUXdhmRLg8BWcRNMuM6ei7HcebjAzg63u2
Type852322fbda42466212a3e678bae0a3352eefae0d07dc895fa2652eacee236fdc
Pure objectaccbd944f00da29d94906e4ebb12d1569e67dbcf87926ee6e4892c9bba9c16df
Pure addressTCm2HLNVeL9GQtHnzjc4NZHiJBcZhMFH4W
Theorem 2cbe28f9bd6a48813b1d9c3829c6a490d4c390a0f6cddffba70263b26ab354985
AddressTQJ98vMDkS22L7g651FTS8DqurckiKHyPr
Pure proposition42505c86f771b7932986e434ed6be78c311f92e4dc41aa6869a6e3f46a997a21
Pure addressTSjY8SDAEa7nBjYmRECgWwx4cbbchCs1Cq
Proof69c66777e0956efa31323ce201c6161f237c5b9f71277baba64ec4dc3819591e
Theorem 30e2e276cd5dd60dd155a5bdd32f3359953d1b5e11f1de22d7d2e4d5e76e97bc3
AddressTAktUDV6rFxmeSJxqETWvQABZ7ChBNwJzz
Pure proposition5cfa4574f065ad7ec2172e5380c0b88f94e1782d88bd7c022674f087c2730c78
Pure addressTSv4kbrPnYVH5Jn9fEHDPsef2nwFWcmtPE
Proof5e528a3446a0edfc1889e68fc9fd92114235287e0bff751897f97e747b793739
Theorem 4d7ae010b99bd1ad35d1b3a11568c1b3a11d8a1901bf7505af3fd8ff27d297ab3
AddressTEb1DEeChQJNQrJY7W8B1xjnYZDgaaw4sj
Pure proposition064aee91ad40eec5a99b34690eace07c24a7e5b7fba37a7a32666c4181bfb70b
Pure addressTPnAzAkvHti2HZA4NrRSTLJ3oatUNnLX21
Prooff58a10fdfa8e6bacbe09497b8dc04048b67b639aa482f333f34a016ffff5385f
Back to Proof Explorer Search Page