log src/ToposSub.agda @ 1110:45de2b31bf02

age author description
Sat, 07 Oct 2023 19:43:31 +0900 Shinji KONO add original library and fix for safe mode
Wed, 07 Apr 2021 15:17:38 +0900 Shinji KONO ... base src/ToposEx.agda@b1477b34cebe