adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rAFP759e3bb5a93e: adapted to isabelle/4c1347e172b1
- Branches
- Unknown
- Tags
adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1 Tags None Subscribers None
Description
Details
|