lemma/

stdlib.rs

//! Embedded units stdlib loaded at compile time from [`UNITS_LEMMA`].
pub const UNITS_LEMMA: &str = include_str!("lemma/units.lemma.std");