Theorem Hollom.SpinalMap.not_le_of_eq

Modification history