consolidated name of lemma analogously to nat/int/word_bit_induct
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE590a01e3efb4: more accurate syntax: 'obtain' vars are optional;
- Branches
- Unknown
- Tags
consolidated name of lemma analogously to nat/int/word_bit_induct Tags None Subscribers None
Description
Details
|