simplified specification of type class semiring_bits
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE76720aeab21e: New material about transcendental functions, polynomials, et cetera, thanks to…
- Branches
- Unknown
- Tags