added lemmas filter_mset_cong{0,}
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE91c16c5ad3e9: tidied auto / simp with null arguments
- Branches
- Unknown
- Tags
added lemmas filter_mset_cong{0,} Tags None Subscribers None
Description
Details
|