Theorem RCLike.iInter_halfSpaces_eq

Modification history