search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.23k stars 185 forks source link

left action on negation #1974

Closed Alizter closed 1 month ago

Alizter commented 1 month ago

Lemma about the left action on a negation in a left module.