added lemmas count_minus_inter_lt_count_minus_inter_iff and minus_inter_eq_minus_inter_iff
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE0f92caebc19a: added lemma multpHO_implies_one_step_strong
- Branches
- Unknown
- Tags