Introducing overloaded compose and inverse
Showing
- Convergence/Algorithm_noB.v 3 additions, 3 deletionsConvergence/Algorithm_noB.v
- Convergence/Impossibility_2G_1B.v 25 additions, 14 deletionsConvergence/Impossibility_2G_1B.v
- Exploration/Definitions.v 4 additions, 3 deletionsExploration/Definitions.v
- Gathering/Impossibility.v 15 additions, 19 deletionsGathering/Impossibility.v
- Gathering/InR/Algorithm.v 1 addition, 1 deletionGathering/InR/Algorithm.v
- Gathering/InR/Impossibility.v 3 additions, 3 deletionsGathering/InR/Impossibility.v
- Gathering/InR2/FSyncFlexNoMultAlgorithm.v 1 addition, 1 deletionGathering/InR2/FSyncFlexNoMultAlgorithm.v
- Gathering/InR2/Peleg.v 4 additions, 5 deletionsGathering/InR2/Peleg.v
- Models/ContinuousGraph.v 3 additions, 3 deletionsModels/ContinuousGraph.v
- Models/GraphEquivalence.v 4 additions, 3 deletionsModels/GraphEquivalence.v
- Spaces/Graph.v 1 addition, 1 deletionSpaces/Graph.v
- Spaces/Isomorphism.v 16 additions, 8 deletionsSpaces/Isomorphism.v
- Spaces/R2.v 16 additions, 19 deletionsSpaces/R2.v
- Spaces/Ring.v 2 additions, 1 deletionSpaces/Ring.v
- Spaces/Similarity.v 16 additions, 10 deletionsSpaces/Similarity.v
- Spectra/PointedSpectrum.v 1 addition, 1 deletionSpectra/PointedSpectrum.v
- Util/Bijection.v 21 additions, 9 deletionsUtil/Bijection.v
- Util/Preliminary.v 12 additions, 0 deletionsUtil/Preliminary.v
- Util/SetoidDefs.v 7 additions, 7 deletionsUtil/SetoidDefs.v
Loading
Please register or sign in to comment