-
Jacques-Henri Jourdan authored
rename : affinely_persistently -> intuitionistically. Add lemma about monpred_at and intuitionistically.
51dbb411
rename : affinely_persistently -> intuitionistically. Add lemma about monpred_at and intuitionistically.