Index
| := | Data.Eq.Type |
| coerce | Data.Eq.Type |
| fromLeibniz | Data.Eq.Type |
| lift | Data.Eq.Type |
| lift2 | Data.Eq.Type |
| lift2' | Data.Eq.Type |
| lift3 | Data.Eq.Type |
| lift3' | Data.Eq.Type |
| lower | Data.Eq.Type |
| lower2 | Data.Eq.Type |
| lower3 | Data.Eq.Type |
| Refl | Data.Eq.Type |
| refl | Data.Eq.Type |
| reprLeibniz | Data.Eq.Type |
| subst | Data.Eq.Type |
| symm | Data.Eq.Type |
| toLeibniz | Data.Eq.Type |
| trans | Data.Eq.Type |