generalized confluence-based subdistributivity theorem for quotients;
new example that triggered the generalization
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLEd47c8a89c6a5: Backed out changeset 3fdb94d87e0e
- Branches
- Unknown
- Tags