Alkanes
Content created by Jonathan Prieto-Cubides, Fredrik Bakke, Amélia Liao and Egbert Rijke.
Created on 2022-07-05.
Last modified on 2023-03-13.
module organic-chemistry.alkanes where
Imports
open import foundation.universe-levels open import organic-chemistry.hydrocarbons open import organic-chemistry.saturated-carbons
Idea
An alkane is a hydrocarbon that only has saturated carbons, i.e., it does not have any double or triple carbon-carbon bonds.
Definition
is-alkane-hydrocarbon : {l1 l2 : Level} → hydrocarbon l1 l2 → UU (l1 ⊔ l2) is-alkane-hydrocarbon H = ∀ c → is-saturated-carbon-hydrocarbon H c
Recent changes
- 2023-03-13. Jonathan Prieto-Cubides. More maintenance (#506).
- 2023-03-10. Fredrik Bakke. Additions to
fix-import
(#497). - 2023-03-09. Jonathan Prieto-Cubides. Add hooks (#495).
- 2023-03-07. Fredrik Bakke. Add blank lines between
<details>
tags and markdown syntax (#490). - 2023-03-07. Jonathan Prieto-Cubides. Show module declarations (#488).