reversed import dependency between Relation and Finite_Set; and move theorems around
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEea509b0bfc80: more operations;
- Branches
- Unknown
- Tags
reversed import dependency between Relation and Finite_Set; and move theorems… Tags None Subscribers None
Description
Details
|