search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

cross_rel lemmas #16

Closed eupp closed 4 years ago

eupp commented 4 years ago

Several lemmas about cross_rel