module
Calf.Value.Pi
where
open
import
Cubical.Foundations.HLevels
using
(
isSetĪ
)
public