Documentation
equational_theories
.
Generated
.
InvariantMetatheoremNonimplications
Search
Google site search
return to top
source
Imports
Init
equational_theories.Generated.InvariantMetatheoremNonimplications.instLiftingMagmaFamilyFinset_counterexamples
equational_theories.Generated.InvariantMetatheoremNonimplications.instLiftingMagmaFamilyLeftProj_counterexamples
equational_theories.Generated.InvariantMetatheoremNonimplications.instLiftingMagmaFamilyList_counterexamples
equational_theories.Generated.InvariantMetatheoremNonimplications.instLiftingMagmaFamilyMultiset_counterexamples
equational_theories.Generated.InvariantMetatheoremNonimplications.instLiftingMagmaFamilyRightProj_counterexamples
Imported by