Lifting Definition Option

René Thiemann
Archive of Formal Proofs 2014.

abstract   BibTeX    
AFP entry