fix(PACLearning): restrict consistency to realizable samples#747

SamuelSchlesinger wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

SamuelSchlesinger:samuelschlesinger/pac-consistency-realizable-samplesSamuelSchlesinger/cslib:samuelschlesinger/pac-consistency-realizable-samplesCopy head branch name to clipboard