/Locales

[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Primary LanguageGAPGNU General Public License v2.0GPL-2.0

Watchers