consolidated name of lemma analogously to nat/int/word_bit_induct
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFPc1ccabb7a324: tuned finite proofs
- Branches
- Unknown
- Tags
consolidated name of lemma analogously to nat/int/word_bit_induct Tags None Subscribers None |