Skip to content

fix: bug at typeOccursCheck #6450

fix: bug at typeOccursCheck

fix: bug at typeOccursCheck #6450

check-lean-files

succeeded Nov 19, 2024 in 31s