module
Cubical.HITs.RPn
where
open
import
Cubical.HITs.RPn.Base
public