Skip to main content

residue_map

logicaffeine_proof::census

Function residue_map 

Source 
pub fn residue_map(n: usize) -> ResidueMap
Expand description

Compute the ResidueMap: rank every lens over every family and partition by which resists.