search

metamath / set.mm

Metamath source file for logic and set theory
Creative Commons Zero v1.0 Universal
238 stars 87 forks source link

Start of construction of solution #4075

Closed metakunt closed 1 week ago

metakunt commented 1 week ago

I now construct the permutation that will serve a certain equation system. For now I am calculating the conjugate so that I have a closed form of the permutation

metakunt commented 1 week ago

@icecream17 Those steps will be eliminated quite soon. I know it is redundant but I'd like to keep it for consistency. I might revise it at a later date once the construction is complete.