Index - R
| reflexive_eq | Data.Prd.Property |
| reflexive_le | Data.Prd.Property |
| Rep | Data.Connection.Yoneda |
| residl | Data.Semigroup.Quantale |
| residr | Data.Semigroup.Quantale |
| residuated | Data.Semigroup.Quantale |
connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.