SpontaneousRecombination
includes Recombination
constant spontaneous_recombination_coefficient Show Notations
constant axiom_spontaneous